In philosophy of science, intertheoretic reduction occurs when one theory makes predictions that perfectly or almost perfectly match the predictions of a second theory. Newtonian mechanics, for example, can be reduced to general relativity for velocities far less than c.